<?php
echo preg_match('/a.*b.*c/', str_repeat('a', 1200) . str_repeat('b', 1200));