50.67/52.07	unsat
