49.48/51.80	unsat
