25.64/27.20	unsat
