6.69/6.71	unsat
