6.96/7.07	unsat
