12.47/14.25	unsat
