26.61/27.28	unsat
