49.15/52.60	unsat
