9.17/9.86	unsat
