32.51/32.70	unsat
