6.64/8.82	unsat
