12.25/12.59	unsat
