15.25/15.74	unsat
