50.98/52.58	unsat
