28.49/28.60	unsat
