11.51/14.88	unsat
