71.46/71.66	unsat
