29.38/29.92	unsat
