49.13/51.00	unsat
