27.28/27.60	unsat
