28.58/29.07	unsat
