6.67/7.30	unsat
