5.67/9.30	unsat
