49.45/67.60	unsat
