6.97/7.63	unsat
