50.13/52.07	unsat
