28.68/29.22	unsat
