5.58/5.69	unsat
