7.00/10.82	unsat
