29.86/32.58	unsat
