26.62/27.60	unsat
