6.99/7.07	unsat
