28.32/29.69	unsat
