25.70/27.21	unsat
