25.94/27.50	unsat
