26.82/27.43	unsat
