6.69/8.90	unsat
