26.96/27.08	unsat
