6.70/7.07	unsat
