25.96/27.25	unsat
