6.69/6.74	unsat
