25.51/27.16	unsat
