26.95/28.82	unsat
