50.03/52.32	unsat
