6.69/6.73	unsat
