26.66/28.82	unsat
