5.58/8.10	unsat
