7.00/7.84	unsat
