5.78/6.30	unsat
