13.67/15.25	unsat
