49.80/52.37	unsat
