30.44/32.86	unsat
