7.17/7.83	unsat
