49.13/52.00	unsat
