25.77/27.20	unsat
