5.68/7.30	unsat
