29.89/32.42	unsat
