7.07/7.83	unsat
