26.45/27.99	unsat
