11.67/15.51	unsat
