6.68/7.30	unsat
