12.37/14.25	unsat
