31.59/32.67	unsat
