7.63/7.71	unsat
