26.96/27.20	unsat
