12.47/15.25	unsat
