50.64/52.47	unsat
