50.18/52.26	unsat
