29.19/32.23	unsat
