5.58/6.00	unsat
