29.19/32.64	unsat
