50.05/50.66	unsat
