5.58/6.30	unsat
