6.69/9.04	unsat
