50.28/52.09	unsat
