26.67/27.18	unsat
