6.18/8.68	unsat
