27.55/27.60	unsat
