26.45/27.08	unsat
