25.96/27.21	unsat
