6.69/8.82	unsat
