50.52/54.67	unsat
