29.64/32.67	unsat
