28.55/51.60	unsat
