9.17/9.67	unsat
