26.32/27.08	unsat
