5.58/8.18	unsat
