50.28/52.10	unsat
