31.92/32.06	unsat
