8.64/8.69	unsat
