5.58/8.07	unsat
