26.61/27.95	unsat
