50.18/52.49	unsat
