5.58/7.00	unsat
