6.94/6.97	unsat
