28.52/28.60	unsat
