50.87/52.58	unsat
