29.66/32.61	unsat
