5.67/6.30	unsat
