5.58/6.22	unsat
