7.59/7.68	unsat
