29.53/32.76	unsat
